TAGs: formal outline